A Formal Approach to Multi-UAV Route Validation
نویسندگان
چکیده
We present ongoing work to apply Event-B to the validation of routes for an Unmanned Aircraft System consisting of a Ground Control Station and two or more UAVs. We extend the mathematical language of Event-B to include a theory of continuous paths in 3-D Euclidean space that allows important safety properties describing the safe separation of UAVs to be formalised in a natural manner. Refinement of the model allows a mathematically verified route validator algorithm to be systematically derived.
منابع مشابه
Trim and Maneuverability Analysis Using a New Constrained PSO Approach of a UAV
Performance characteristic of an Unmanned Air Vehicle (UAV) is investigated using a newly developed heuristic approach. Almost all flight phases of any air vehicle can be categorized into trim and maneuvering flights. In this paper, a new envelope called trim-ability envelope, is introduced and sketched within the conventional flight envelope for a small UAV. Optimal maneuverability of the inte...
متن کاملThroughput Maximization for Multi-Slot Data Transmission via Two-Hop DF SWIPT-Based UAV System
In this paper, an unmanned aerial vehicle (UAV) assisted cooperative communication system is studied, wherein a source transmits information to the destination through an energy harvesting decode-and-forward UAV. It is assumed that the UAV can freely move in between the source-destination pair to set up line of sight communications with the both nodes. Since the battery of the UAV may be limite...
متن کاملUav-based Multi-sensor Data Fusion for Time-critical Disaster Response
We present a mathematical model for a UAV-based, multi-sensor data integration. As a background, we first discuss the design and the implementation of a low-cost civilian UAV system, including its field flight validation, system calibration, and mapping accuracy evaluation. Then, this photogrammetry-based mathematical model is developed. The field flight tests demonstrate that the designed low-...
متن کاملA Scalable Low-Cost-UAV Traffic Network (uNet)
This article proposes a new Unmanned Aerial Vehicle (UAV) operation paradigm to enable a large number of relatively low-cost UAVs to fly beyond-line-of-sight without costly sensing and communication systems or substantial human intervention in individual UAV control. Under current free-flight-like paradigm, wherein a UAV can travel along any route as long as it avoids restricted airspace and al...
متن کاملA New Vision-Based and GPS-Signal-Independent Approach in Jamming Detection and UAV Absolute Positioning Assessment
The Unmanned Aerial Vehicles (UAV) positioning in the outdoor environment is usually done by the Global Positioning System (GPS). Due to the low power of the GPS signal at the earth surface, its performance disrupted in the contaminated environments with the jamming attacks. The UAV positioning and its accuracy using GPS will be degraded in the jamming attacks. A positioning error about tens of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015